Celestin Apprentice 7/Apprentice-Release7.iso/Source Code/C/Applications/Moscow ML 1.42/src/compiler/Parser.sig

Text File | 1997-08-18 | 1.2 KB | 90 lines | [TEXT/Moml]

local
in
datatype token =
    ABSTRACTION
  | ABSTYPE
  | AND
  | ANDALSO
  | AS
  | CASE
  | DATATYPE
  | DO
  | ELSE
  | END
  | EQTYPE
  | EXCEPTION
  | FN
  | FUN
  | HANDLE
  | IF
  | IN
  | INFIX
  | INFIXR
  | LET
  | LOCAL
  | NONFIX
  | OF
  | OP
  | ORELSE
  | RAISE
  | REC
  | SIG
  | SIGNATURE
  | STRUCT
  | STRUCTURE
  | THEN
  | TYPE
  | VAL
  | WHILE
  | WITH
  | WITHTYPE
  | EQUALS
  | COMMA
  | ARROW
  | DARROW
  | BAR
  | STAR
  | HASH
  | LBRACE
  | RBRACE
  | HASHLBRACKET
  | LBRACKET
  | RBRACKET
  | LPAREN
  | RPAREN
  | COLON
  | COLONGT
  | SEMICOLON
  | UNDERBAR
  | DOTDOTDOT
  | OPEN
  | PRIM_VAL
  | PRIM_TYPE
  | PRIM_EQTYPE
  | PRIM_REFTYPE
  | ID of string
  | QUAL_ID of Const.QualifiedIdent
  | QUAL_STAR of Const.QualifiedIdent
  | ZDIGIT of int
  | NZDIGIT of int
  | ZPOSINT2 of int
  | NZPOSINT2 of int
  | NEGINT of int
  | WORD of word
  | CHAR of char
  | REAL of real
  | STRING of string
  | QUOTEL
  | QUOTER of string
  | QUOTEM of string
  | TYVAR of string
  | EOF
end;

val ToplevelPhrase :
  (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Asynt.Dec * bool;
val SigFile :
  (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Asynt.Sig;
val StructFile :
  (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Asynt.Struct;